Failed to solve the following constraints:
  Is empty: c0 ≡ c1
      [ at Issue1497.agda:11,7-9 ]
